<?php
LogOut();
function LogOut()
  {
 

session_start();
 if(isset($_SESSION["login"]))
  unset($_SESSION["login"]);
  if (isset($_SESSION[ 'StuID']))
  unset($_SESSION['StuID']);
  
  session_destroy(); 
 header('Location: index.php') ; 
  }
?>